precondition a: True
== mk-ma(;
== ;
== ;
== a : s,v. True;
== ;
== ;
== ;
== ;
== ;
== ;
== ) 

latex

Definitions	mk-ma, x : v, x.A(x), True,
FDL editor aliases	ma-single-pre-true